John Ousterhout
https://en.wikipedia.org/wiki/John_Ousterhout